(write_c_args): Put `default' in upper case.

diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index b865845cfcf067263b2c9d7552f80d2e33078ee4..58062efeee1a48b4cbab0ecd64e92b6d9f59697a 100644 (file)
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -217,7 +217,7 @@ write_c_args (out, func, buf, minargs, maxargs)
                || ('0' <= p[6] && p[6] <= '9')
                || p[6] == '_'))
        {
-         fprintf (out, "default");
+         fprintf (out, "DEFAULT");
          p += 5;
          in_ident = 0;
          just_spaced = 0;